The Layers of Logiweb
نویسنده
چکیده
Logiweb is an open source, distributed system for publication of machine checked mathematics. It covers all aspects of electronic publishing: high typographical quality, archival, handling of references to previously published results, and publication of refereed volumes. The present paper is itself produced using Logiweb; and the paper is formally correct in the sense that it has been verified by Logiweb. The paper describes the implementation layers of the Logiweb system as seen by the user: the programming layer, the metalogic layer, the tactic layer, and the object proof layer.
منابع مشابه
Logiweb - A System for Web Publication of Mathematics
Logiweb is a system for electronic publication and archival of machine checked mathematics of high typographic quality. It can verify the formal correctness of pages, i.e. mathematical papers expressed suitably. The present paper is an example of such a Logiweb page and the present paper is formally correct in the sense that it has been verified by Logiweb. The paper may of course contain infor...
متن کاملThe implementation of Logiweb
This paper describes the implementation of the ‘Logiweb’ system with emphasis on measures taken to support classical reasoning about programs. Logiweb is a system for authoring, storing, distributing, indexing, checking, and rendering of ‘Logiweb pages’. Logiweb pages may contain mathematical definitions, conjectures, lemmas, proofs, disproofs, theories, journal papers, computer programs, and p...
متن کاملStudying the influence of Geometric Characteristics and Arrangement of FRP Layers on Rehabilitation of Concrete Shear Walls
During recent years, the use of fiber-reinforced polymers (FRP) as a desirable alternative for improving the behavior of lateral resisting system are known. There are various factors influencing the quality of such kind of rehabilitation. This study aims to investigate the influence of geometric characteristics and arrangement of FRP layers on rehabilitating of concrete shear walls. A few rein...
متن کاملStudy on the Interactions between Mechanical and Structural Properties of the Thermobonded Nonwovens
Thermobonding is widely used in producing of nonwovens. In this study various layers of thermobonded nonwovens were produced by altering the pressure, binder fibres and quality of blending. Mechanical properties of the so-called layers such as breaking strength and breaking elongation, bending rigidity and air permeability were assessed consequently. The structure of the layers was then studied...
متن کاملComparison of Geotextile Layers Effects on Static and Dynamic behavior of Pavement
One of the methods for the improvement of soil against the tensile stresses is using the artificial supplements in soil such as metal belts or nets, polymer materials and natural fibers. Technically this method is called the reinforced of soil. When a pavement is located on soft soil, great deformations can occur as a result of the crossing of traffic load in superstructure layers of the body....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007